Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
31	Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008 Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Process calculi Theoretical computer science -calculus Distribution
32	Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Theoretical computer science Process calculi -calculus Processor register Thread
33	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
34	A simple, distributed implementation of the pi-calculus, using explicit fusions Pisa, JulyLucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:32 Process calculi Theoretical computer science -calculus Substitution Heat equation
35	Bio-PEPA for epidemiological models Jane Hillston. LFCS and CSBE, The University of Edinburgh 24th September 2009 Joint work with Federica Ciocchetta. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-09 05:09:45 PEPA Process calculi Jane Hillston Process calculus Scientific modelling Stochastic
36	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
37	Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places11.di.fc.ul.pt Language: English - Date: 2011-02-13 18:15:54 Process calculi Concurrent computing Distributed computing Actor model -calculus Calculus Bunched logic Parallel computing Resource fork Thread Resource management Concurrency
38	Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:28 PEPA Process calculi Jane Hillston Process calculus Stochastic Scientific modelling Economic model Algebra over a field TAPAs model checker
39	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx † Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2007-01-09 07:10:57 Distributed computing architecture Process calculi Inter-process communication Ambient calculus Ambient intelligence Message passing Actor model Short Message Service Distributed object Multi-factor authentication
40	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator